Reactive Programming of Event-Driven Automotive Systems
نویسندگان
چکیده
Construction and verification of modern automotive system software is inherently hard and costly. A primary source of this complexity can be found in the inadequate support for eventdriven programming offered by contemporary software technology. This project seeks to develop and demonstrate the concept of reactive programming as an approach to reducing this complexity. Projected outcomes include both practical proofs of shortened development cycles, as well as theoretical advances enabling an increased focus on formal verification for establishing timing correctness of automotive systems.
منابع مشابه
Functional Reactive Programming with Liveness Guarantees As relations are to set-valued functions, so event sources are to behaviours
Functional Reactive Programming (FRP) is an approach to the development of reactive systems which provides a pure functional interface, but which may be implemented as an abstraction of an imperative event-driven layer. FRP systems typically provide a model of behaviours (total time-indexed values, implemented as pull systems) and event sources (partial time-indexed values, implemented as push ...
متن کاملEvent-driven and Attribute-driven Robustness
Over five decades have passed since the first wave of robust optimization studies conducted by Soyster and Falk. It is outstanding that real-life applications of robust optimization are still swept aside; there is much more potential for investigating the exact nature of uncertainties to obtain intelligent robust models. For this purpose, in this study, we investigate a more refined description...
متن کاملObject-Oriented Design Patterns in Reactive Systems
Development of control software for reactive, event-driven systems is complex. It usually requires extensive prototyping before final implementation and installation. Since the evolution from prototype to real system should be as seamless as possible, it would seem natural to structure the prototype following the principles of event-driven programming. This article shows that the prototype shou...
متن کاملA Model Driven Engineering Design Flow to Generate VHDL
TheModEasy project seeks to develop techniques and software tools to aid in the development of reliable microprocessor based electronic (embedded) systems using advanced development and verification systems. The tools are evaluated in domains such as the automotive sector for reactive cruise control and anti-collision radar. While current developments of such complex systems are performed by ha...
متن کاملFunctional reactive programming as a hybrid system framework
In previous work we presented Functional Reactive Programming (FRP), a general framework for designing hybrid systems and developing domain-specific languages for related domains. FRP’s synchronous dataflow features, like event driven switching, supported by higherorder lazy functional abstractions of Haskell allows rapid development of modular and reusable specifications. In this paper, we wil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005